ORCA: ORchestrating Causal Agent
arxiv.org·1d
🧠Automated Reasoning
Lively Linear Lisp (1992)
plover.com·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Systems Engineering for Agentic Applications
agenticapplications.substack.com·20h·
Discuss: r/programming
🩹Self-Healing Systems
Testing the not-so-happy path
jorgeortiz.dev·2h·
Discuss: r/rust
🧪Property-Based Testing
A quantum equivalent to Bayes' rule
lesswrong.com·1d
🧮Lambda Calculus
Context Engineering: A Primer
okigu.com·23h·
Discuss: Hacker News
🔍Formal Verification
Test-Driven Development Is Stupid
geometrian.com·1h·
Discuss: Hacker News
🧪Property-Based Testing
There's a gap between AI coding demos and daily reality
github.com·1h·
Discuss: Hacker News
🤖Program Synthesis
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
Isolated(any)
nshipster.com·18h·
Discuss: Hacker News
🧮Lambda Calculus
Cyclic Implicit Complexity
arxiv.org·1d
🐫OCaml
Simple but Powerful Pratt Parsing
matklad.github.io·3d·
Discuss: r/programming
🧩Parser Combinators
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·1d
🧠Automated Reasoning
The Origins of Python
inference-review.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2d·
Discuss: Hacker News
🔤DSLs
Debugging Rustler on Illumos
system-illumination.org·1h·
Discuss: Lobsters, Hacker News
🔬Static Analysis
DeepQuali: Determining Software Quality with AI
blog.qaware.de·1d·
Discuss: Hacker News
🔄Reproducible Builds
Lessons from building an AI data analyst
pedronasc.com·17h·
Discuss: Hacker News
🧠Automated Reasoning
2025-09-01: Let's write a peephole optimizer for QBE's arm64 backend
briancallahan.net·1d·
Discuss: Hacker News
🐫Embedded OCaml
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·1d·
Discuss: Hacker News
💎Refinement Types